Este trabajo constituye una revisión de los contenidos, orientación y objetivos de una parte significativa de los manuales de lógica elemental de las décadas de 1960 y 1970 redactados por autores españoles. En concreto, analizamos los prólogos, los rudimentos previos, y la presentación de los distintos cálculos que aparecen en tales obras. El estudio de la semántica, los contenidos metateóricos o las extensiones de la lógica elemental quedan para una segunda etapa de esta investigación.

Psychological flexibility is a key concept of acceptation and commitment therapy. This factor has been linked with psychological wellbeing and associated factors, such as quality of life, in cancer patients. These and other positive results of acceptation and commitment therapy in cancer patients found in previous research could be enhanced by using mhealth tools. A three-arm randomized superiority clinical trial, with a pre-post-follow-up repeated measures intergroup design with a 1:1:1 allocation ratio is proposed. A hundred and twenty cancer patients will (...) be randomly assigned to one of the following interventions: face-to-face ACT + mobile application, face-to-face ACT, and Waitlist control group. The primary expected outcome is to observe significant improvements in psychological flexibility acceptance and action questionnaire- II in the face-to-face ACT + app group, after comparing baseline and post-treatment scores, and the scores will remain stable in the two assessment points, 3 and 6 months after the intervention. Secondary expected outcomes are significant increasing scores in quality of life and post-traumatic-growth, and significant decreasing scores in anxiety and depression, insomnia and fatigue at the same assessment points. Also, it is expected that the scores of this group will be higher than the scores of the face-to-face ACT group and the waitlist control group. This study aims to assess the efficacy of a combined intervention for psychological flexibility and associated symptoms in cancer patients. The results of this protocol may help to consider the use of acceptation and commitment therapy and mhealth applications in cancer settings as a valid therapeutic choice.Clinical Trial Registration[www.ClinicalTrials.gov], identifier [NCT05126823]. (shrink)

Dentro de la sociología francesa actual, Gilles Lipovetsky se ha convertido de forma paulatina en uno de los sociólogos con mayor proyección internacional, con sus finos análisis sobre las sociedades postmodernas. En este artículo se plantea una revisión crítica de las principales líneas argumentativas que expone el autor francés. El objetivo es el de reflexionar sobre las limitaciones de su aproximación a los conceptos de postmodernidad, hipermodernidad, y consumo.

This paper explores the underlying factors behind the collapse of commercial archaeology in Spain, with implications for other international contexts. It contributes to the current global debate about heritage ethics, adding nuance and conceptual depth to critical management studies and cultural heritage management in their approach to business ethics. Similar to other European contexts, Spanish archaeological management thrived during the 1990s and 2000s as a business model based on policies directed at safeguarding cultural heritage. The model had controversial ethical implications (...) at academic, policy and business levels. However, the global financial crisis of 2008 had a huge impact on this sector, and more than 70% of the Spanish archaeological companies closed by 2017. Drawing on the concepts of abstract narratives, functional stupidity and corporatist neoliberalism, this paper illustrates the need to examine ethical issues from a pragmatic standpoint, beyond epistemological and moralistic critiques of profit-oriented businesses in the cultural realm. In doing so, it connects the fields of cultural heritage and management studies, opening up hitherto unexplored strands of research and debate. (shrink)

Hemos querido en este ensayo presentar algunas conclusiones gruesas de la investigación que fuimos realizando desde la Cátedra de Pensamiento Latinoamericano de la Escuela de Filosofía de la UCV, desde que la fundamos (1990) hasta nuestra jubilación (2010). Nos parecen centrales las siguientes ideas para la elaboración de una filosofía de la historia de Venezuela: comprender que no hubo guerra de independencia sino de secesión pues fue una guerra civil, no confundir patria con república, pues esta es sólo una etapa (...) de la primera y de estas conclusiones pasamos a realizar una reflexión filosófico-histórica que incorpora de una nueva manera la relación presente/pasado/futuro en la conformación de nuestro sujeto sociohistórico. (shrink)

Según Julián Marías, fue Ortega, en 1914, quien hizo el primer uso filosófico de la palabra griega _alétheia_ con el significado de descubrimiento o iluminación: se trata de una innovación significativa porque Ortega introdujo una acepción nueva, sirviéndose de esa palabra, para superar la idea, que le parecía inaceptable, de que la verdad tenga que ser adecuación. Después de Ortega, los demás filósofos, a partir de 1927 con Heidegger, no saben de dónde procede la interpretación etimológica que ellos dan como (...) obvia para sus reflexiones filosóficas sobre la verdad. En realidad no hay textos griegos claros que interpreten el concepto de _alétheia_ ni etimológica ni filosóficamente. Julián Marías descubrió la más antigua discusión etimológica en el lingüista y filósofo Teichmüller (1879), de la cual se sirvió Ortega en fecha tan temprana como 1914 para hacer la primera interpretación filosófica de esa palabra. A pesar de ello, se ha hecho general la creencia de que fue Heidegger el primero que trató sobre la verdad como _alétheia_ en contraposición a lo que denomina _concepto tradicional de la verdad._. (shrink)

In this paper we will discuss the active part played by certain diagonal arguments in the genesis of computability theory. 1 In some cases it is enough to assume the enumerability of Y while in others the effective enumerability is a substantial demand. These enigmatical words by Kleene were our point of departure: When Church proposed this thesis, I sat down to disprove it by diagonalizing out of the class of the λ–definable functions. But, quickly realizing that the diagonalization cannot (...) be done effectively, I became overnight a supporter of the thesis. (1981, p. 59) The title of our paper alludes to this very work, a task on which Kleene claims to have set out after hearing such a remarkable statement from Church, who was his teacher at the time. There are quite a few points made in this extract that may be surprising. First, it talks about a proof by diagonalization in order to test—in fact to try to falsify—a hypothesis that is not strictly formal. Second, it states that such a proof or diagonal construction fails. Third, it seems to use the failure as a support for the thesis. Finally, the episode we have just described took place at a time, autumn 1933, in which many of the results that characterize Computability Theory had not yet materialized. The aim of this paper is to show that Church and Kleene discovered a way to block a very particular instance of a diagonal construction: one that is closely related to the content of Church's thesis. We will start by analysing the logical structure of a diagonal construction. Then we will introduce the historical context in order to analyse the reasons that might have led Kleene to think that the failure of this very specific diagonal proof could support the thesis. This is a joint paper. We have both attempted to add a small piece to an amazing historical jigsaw puzzle at a juncture we feel to be appropiate. In the paper by Manzano 1997 the aforementioned words by Kleene were quoted, and since then several logicians, Enrique Alonso first and foremost, have questioned her on this issue. Here we both submit our reply. (1999, pp. 249--273). (shrink)

Tanto Tomás de Aquino como Husserl coinciden, respecto a la teoría sobre la verdad, en pensar que (debido a la adecuación) el intelecto hace una copia exacta (absoluta) de una cosa siempre idéntica (igualmente absoluta), y que gracias a ello refutan el relativismo. Pero Julián Marías, entusiasta de la verdad, critica al absolutismo y al relativismo, y piensa que ambos están basados en la verdad como adecuación. La visión que sobre la verdad tiene Marías es consecuencia de su respeto a (...) la realidad, organizada en perspectiva: esta es de la realidad, no del hombre que la mira. Por ello ninguna verdad agota la realidad. Los partidarios de la adecuación suelen aplicar su esquema mental a los objetos irreales o ideales, suponiendo que la realidad como tal, caótica para ellos por la multitud de puntos de vista diferentes, está desorganizada y es fuente de relativismo. (shrink)

The development in 1996 of a new generation of antiretroviral drugs was a major pharmaceutical advancement in the struggle against the epidemics of HIV and AIDS. However, due to high costs, access to these new drugs was almost impossible for most people living with HIV or AIDS. This situatiowhas been even more dramatic for those living with HIV/AIDS in poorer countries. Many of the organizations that are fighting for the rights of those with HIV have since developed human rights advocacy (...) and legal strategies to try to achieve universal access to treatment. These organizations are also fighting for states’ compliance with human rights obligations under health-related treatises and conventions. This paper draws upon the experience gained in Latin America, focusing on the legal strategies that have been explored in Venezuela and the legal consequences for domestic law. (shrink)

The development in 1996 of a new generation of antiretroviral drugs was a major pharmaceutical advancement in the struggle against the epidemics of HIV and AIDS. However, due to high costs, access to these new drugs was almost impossible for most people living with HIV or AIDS. This situatiowhas been even more dramatic for those living with HIV/AIDS in poorer countries. Many of the organizations that are fighting for the rights of those with HIV have since developed human rights advocacy (...) and legal strategies to try to achieve universal access to treatment. These organizations are also fighting for states’ compliance with human rights obligations under health-related treatises and conventions. This paper draws upon the experience gained in Latin America, focusing on the legal strategies that have been explored in Venezuela and the legal consequences for domestic law. (shrink)

Colombia is the second country with the highest number of internally displaced persons. In the last 10 years, more than 400,000 young people carry, in their life experiences, the title of victims. The psychological and social circumstances that determine the lives of displaced young people in the world are not unknown. Fear, the poor resources for social adaptation available to them, and the possible reproduction of the cycle of violence, represent psychosocial risk factors in the young and displaced population. In (...) this context, the Victims Law in Colombia stipulated various measures of repairment, including Relocation and Return provided the conditions of voluntariness, security, and dignity are present. A hypothesis that well-being will be better in the returnees was set, since they would strengthen the social support networks between neighbors and other victims in their old spaces of life. To test the hypothesis, the scales of Psychological Well-being, Social Well-being, the Satisfaction with Life Scale, and the Psychosocial Trauma Scale were applied to young returnees and relocated in Colombia. The Exploratory and Confirmatory Factor Analysis was performed to extract the general measure of well-being and psychosocial trauma followed by the comparison between the groups. Significance, power, and effect size indicators were obtained, and finally, the partial correlation between the groups was made in relation to psychosocial trauma and well-being. Results showed that returnees have greater well-being and clearer indicators, with respect to that of relocated. In addition, the well-being of returnees has fewer trauma factors, who in turn are quasi-moderated by the situation of return or relocation. (shrink)

Ortega y Marías invitan a elaborar una nueva filosofía cristiana, distinta de la vieja, en la cual ha pesado excesivamente la herencia conceptual del pensamiento griego, ajeno al cristianismo. Resulta una rémora del pensamiento el sustancialismo, el naturalismo y la entificación de la realidad. Es menester un enérgico esfuerzo para apartarse de imágenes recibidas, mantenidas inercialmente, a veces durante siglos, procedentes, en gran parte, de actitudes no cristianas.

Background: The COVID-19 pandemic has produced high stress in nurses, affecting their professional quality of life. Different variables affect psychological stress response and professional quality of life. In this context, the role of professional values represents an interesting object of research. Objectives: To analyze the relationship between professional values, perceived stress, and professional quality of life among nurses during the COVID-19 crisis. Research design, participants, and research context: Descriptive cross-sectional study. Participants were 439 registered nurses from the public health system. (...) Perceived stress, professional quality of life, and professional values were evaluated by using measuring instruments adapted and validated in the geographic context of research. Data were collected online in December 2020 during the second wave of the COVID-19 pandemic in Spain. Ethical considerations: This study was approved by the Ethics Committee on Clinical Research of the Principality of Asturias. Findings: Within professional values, ethics obtained higher scores showing the primacy of ethical values among nurses. Moderate correlations between ethics, mastery, expertise, and compassion satisfaction were found. Frontline nurses informed high perceived stress. The correlations between professional values and compassion satisfaction were higher in non-frontline nurses. A moderate negative correlation between perceived stress and compassion satisfaction was found in both groups, which implies that the higher the stress, the lower the satisfaction in the helping relationship. Conclusion: Professional values positively influence compassion satisfaction during the COVID-19 pandemic. Compassion satisfaction presents a negative correlation with fatigue compassion and burnout in frontline and non-frontline nurses. Given the functionality of values both to guide clinical practice professionally and ethically, and prevent dissatisfaction with one’s professional quality of life by reinforcing compassion satisfaction, it is necessary to reinforce them with an intensive and cross-sectional learning during the university training. (shrink)

RESUMEN El presente trabajo está dirigido a exponer elementos inherentes al modelo de superación profesional del tecnólogo de la salud en laboratorio clínico desde la integración ciencias básicas biomédicas-laboratorio. Entre los métodos teóricos empleados, el analítico-sintético permitió la determinación de los fundamentos epistemológicos y praxiológicos del proceso de superación, el inductivo-deductivo posibilitó la determinación de las categorías que surgen en el proceso investigativo, el sistémico estructural funcional para fundamentar el carácter de sistema del modelo y la modelación con la finalidad (...) de construirlo. Se concluye que se establecen como subsistemas del modelo, la proyección profesional de las ciencias básicas biomédicas, la contextualización profesional de la integración ciencias básicas biomédicas-laboratorio y la valoración contextual de la integración en el proceso de superación, lo que explica el proceso de superación del tecnólogo de la salud en laboratorio clínico. ABSTRACT This paper aims at setting out elements inherent to the health technologist in clinical laboratory’s professional training model from the integration of basic biomedical-laboratory sciences. Among the theoretical methods used, analysis-synthesis allowed establishing the epistemological and praxeological basis of the training process; the inductive-deductive method made it possible to determine the categories that result from the research process and the systemic-structural-functional method was used to support the system-like nature of the model and modelling with the end of building it. In conclusion, subsystems of the model are established: basic biomedical sciences professionals’ aims, professional conceptualization of the integration of basic biomedical-laboratory sciences and the contextual assessment of integration in the training process, which expounds the training process of the health technologist in clinical laboratory. (shrink)

Yo soy una realidad cambiante, no idéntica, pero yo soy _el mismo_ que antes y que después; hay, por tanto, una esencial _mismidad,_ que no es «identidad» en el sentido de las cosas o, más aún, de los objetos ideales. A diferencia del yo idéntico, estoy afectado por la circunstancialidad. Para el idealismo —desde Descartes hasta Husserl—, el ser del hombre es conciencia, _subjetividad,_ en la que el yo está encerrado, de modo que el gran problema es el acceso a (...) los otros: para resolverlo, Husserl habla de la «intersubjetividad monadológica», subsecuente a un previo «solipsismo monadológico»; y yo (idéntico a los otros: objetos que me son presentes) sería intercambiable, sin unicidad. Pero la persona —como enseñan Ortega y Julián Marías— vive _abierta_ a las demás personas, referida a ellas, trascendiendo, por tanto, de sí misma. La mismidad (proyectada hacia el futuro) consiste justamente en esa unicidad y exceder del propio yo. (shrink)

La persona no está sola y aislada, sino en convivencia. Aunque yo sea una realidad cambiante, no idéntica, soy el mismo que antes y que después; hay, por tanto, una esencial mismidad, que no es «identidad» en el sentido de las cosas o, más aún, de los objetos ideales. Según esta nueva lógica y nueva metafísica, yo me veo a mí mismo como alguien inconfundible, una persona concreta y única, una realidad histórica, no «algo», «quién» unido a mi «qué», con (...) nombre propio. Me siento libre y, por tanto, responsable, capaz de elección y decisión. Mi vida es mía, la de cada cual, única e irrepetible. Pero, desde los griegos, hay una larga serie de intentos de «cosificación» del hombre: las viejas lógica y metafísica (basadas en la identidad y en la inmovilidad) ven a la persona como sustancia. (shrink)

This paper focuses on the evolution of the notion of completeness in contemporary logic. We discuss the differences between the notions of completeness of a theory, the completeness of a calculus, and the completeness of a logic in the light of Gödel's and Tarski's crucial contributions.We place special emphasis on understanding the differences in how these concepts were used then and now, as well as on the role they play in logic. Nevertheless, we can still observe a certain ambiguity in (...) the use of the close notions of completeness of a calculus and completeness of a logic. We analyze the state of the art under which Gödel's proof of completeness was developed, particularly when dealing with the decision problem for first-order logic. We believe that Gödel had to face the following dilemma: either semantics is decidable, in which case the completeness of the logic is trivial or, completeness is a critical property but in this case it cannot be obtained as a corollary of a previous decidability result. As far as first-order logic is concerned, our thesis is that the contemporary understanding of completeness of a calculus was born as a generalization of the concept of completeness of a theory. The last part of this study is devoted to Henkin's work concerning the generalization of his completeness proof to any logic from his initial work in type theory. (shrink)

The US neutrino community gathered at the Workshop on the Intermediate Neutrino Program at Brookhaven National Laboratory February 4-6, 2015 to explore opportunities in neutrino physics over the next five to ten years. Scientists from particle, astroparticle and nuclear physics participated in the workshop. The workshop examined promising opportunities for neutrino physics in the intermediate term, including possible new small to mid-scale experiments, US contributions to large experiments, upgrades to existing experiments, R&D plans and theory. The workshop was organized into (...) two sets of parallel working group sessions, divided by physics topics and technology. Physics working groups covered topics on Sterile Neutrinos, Neutrino Mixing, Neutrino Interactions, Neutrino Properties and Astrophysical Neutrinos. Technology sessions were organized into Theory, Short-Baseline Accelerator Neutrinos, Reactor Neutrinos, Detector R&D and Source, Cyclotron and Meson Decay at Rest sessions.This report summarizes discussion and conclusions from the workshop. (shrink)

En este estudio analizamos dos tendencias claramente distintas y contrapuestas en la forma de impartir cursos elementales de Lógica en la formación superior. Para este propósito, se ha seleccionado una muestra de manuales angloamericanos clásicos, así como otra más pequeña de la tradición iberoamericana para comprobar nuestras hipótesis. Los estilos identificados y analizados en dichos manuales son lo que hemos denominado lógica matemática y lógica para filósofos. En ambos casos se trata de tendencias muy generales reconocibles en las más diversas (...) tradiciones locales. El periodo analizado, 1940-1980, responde al proceso de introducción de la Lógica contemporánea en el ámbito académico occidental. (shrink)

In recent years, the term populism has become indeed popular. Among its variants, a very particular one stands out. It is the so-called managerial populism, in which prominent businessmen have entered the arena of politics with a program focused on the regeneration of economic and social life. Donald Trump, perhaps, has been the most outstanding example. In this article, our aim is to analyze this phenomenon of managerial populism, addressing a number of issues. Firstly, we will discuss the emergence of (...) a certain type of charismatic leadership in business or management ideologies as a development that largely precedes the consolidation of these figures in the political scene; the implications of these ideologies in the political and social sphere; and the importance of the forms of discursive use of the concept of people in these popular discourses. (shrink)

Este libro es un compendio de diversos artículos del ámbito de la Lógica que cubren un amplio abanico de temas ofreciendo una panorámica sobre esta disciplina. Encontraremos artículos sobre aspectos históricos y sobe el desarrollo de la lógica en la filosofía, la informática y las matemáticas actuales; otros sobre cuestiones de metalógica, y otros sobre diferentes tipos de lógicas: intuicionista, híbridas e intensionales, y sus lenguajes, semánticas y aplicaciones. El resultado en su conjunto es, además, una reflexión sobre el papel (...) de la Lógica en el pasado, presente y futuro de la ciencia y el pensamiento. Pero este libro quiere ser, sobre todo, un homenaje a una de las lógicas más reconocidas de España, María Manzano, que con su actividad académica ha contribuido de forma fundamental al desarrollo del área de Lógica y Filosofía de la Ciencia en España, a la vez que es apreciada en la gran comunidad internacional de lógicos. Con la excusa de su jubilación como catedrática de la Universidad de Salamanca, veintitrés autores que han compartido con ella aventuras en el mundo de la Lógica se han reunido para contarle (y contarnos) algunas de esas apasionantes aventuras. (shrink)

Según la liturgia, mi vida, es decir, la de cada cual, en su realidad concreta, no es «cosa» alguna, sino proyecto, empresa, misión; acontece, se va haciendo. La tradicional perspectiva cris-tiana reclama una intensificación del conocimiento, relativamente descuidado, de lo que significa ser persona. Un peso del pensamiento helénico, ajeno al cristianismo, ha orientado al pensamiento poste-rior, filosófico y también teológico, a un «sustancialismo» que ha lle-vado a reducir la persona a un tipo muy particular de «cosa».

The semantic analysis of logical consequence must obey a set of requisites which nowadays have acquired a dogmatic status. This situation prevents the development of other varieties of this fundamental relation. In this issue we try to define what we call a naive variety of logical consequence. The main feature of this relation is the way it depends on formulas in premises and conclusion: every sentence must contribute to the acceptability of an argument in a significative way. This circumstance can (...) be of some interest for research programs demanding a logical apparatus sensitive to application context. We think of the logic LP developed by G. Priest -- Priest [1979] -- in relation to Gödel incompleteness theorems as a test for our points of view. (shrink)

Este trabajo aborda el estado actual de la cuestión en el ámbito de la computación teórica desde una perspectiva especialmente dirigida a lectores no expertos y con una clara vocación filosófica. En la primera parte, secciones 1 a 4, se ofrecen algunas de las claves para entender la importancia de la Teoría clásica de la Computación extrayendo conclusiones filosóficas de fundamental importancia para entender el nacimiento de la I.A. En su segunda parte se analizan los nuevos modelos propuestos haciendo balance (...) de sus dificultades y su interés relativo. (shrink)

The neuroethics field emerged in the early 2000s in an effort to face important philosophical dilemmas and anticipate disruptive social changes linked to the use of neurotechnology (Safire, 2002). From very early on, this field grew out of two core issues, namely inquiries into the ethics of neuroscience –concerning the moral use of knowledge and technology– and inquiries into the neuroscience of ethics –on how new brain function evidence can change human self-understanding (Roskies 2002). Similarly, neurolaw is now on a (...) parallel path with two main pillars as Chandler (2018) suggested, (1) “self-reflexive inquiry” (the neuroscience of law) and (2) “inquiry into the development and use of brain science and technologies” (the law of neuroscience). In this paper, I suggest that these two lines of research are still excessively disconnected from one another and, to support this claim, I analyze the three potential point-of-no-return risks that Aldous Huxley associated with technological challenges, namely centralization of power, bureaucratic alienation, and scientific idealism. In addition, I show how Huxley shifted analysis of technological problems from a focus on the rights of potential victims to the duties of potential aggressors. Finally, I argue that Aldous Huxley’s view on how to build a bridge that brings pillars 1) and 2) closer together also helps prevent the technological point-of-no-return. According to Huxley, the key is found in paying particular attention to understanding contemplative activity, reinforcing its role in the study of reality, and, eventually, returning the romantic gaze updated to academia. (shrink)

La Teoría de la Computación es un campo especialmente rico para la indagación filosófica. EI debate sobre el mecanicismo y la discusión en torno a los fundamentos de la matemática son tópicos que estan directamente asociados a la Teoria de la Computación desde su misma creación como disciplina independiente. La Tesis de Turing-Church constituye uno de los resultados mas característicos en este campo estando, además, lleno de consecuencias filosóficas. En este ensayo se ofrece una guía de referencia útil a aquellos (...) que desean prestar alguna atención a estos asuntos y carecen de la base técnica o histórica que se precisa. En primer lugar se ofrece un resurnen de los principales problemas relacionados con la Tesis de Turing-Church para ofrecer a continuación información sobre sus aspectos más controvertidos. Se proponen algunos problemas no resueltos y se analiza su relevancia filosófica.Computer Science is a field specially rich for philosophical inquiry. Mechanism and the discussion around foundations of mathematics are topics directly asociated to Computer Science for its very constitution as an independent discipline. Church-Turing Thesis is one of the most characteristic results in this field and is plenty of philosophical consequences. In this article I offer a referenee guide useful for those who are willing to pay some attention to these matters and ignore the technical and historical basis needed for this task. I resume the main topics related to Church-Turing Thesis and give some informationabout the most controversial aspects of this subject. Some open questions are settled for further investigation paying special attention to their philosophical importance. (shrink)

La Teoría de la Computación es un campo especialmente rico para la indagación filosófica. EI debate sobre el mecanicismo y la discusión en torno a los fundamentos de la matemática son tópicos que estan directamente asociados a la Teoria de la Computación desde su misma creación como disciplina independiente. La Tesis de Turing-Church constituye uno de los resultados mas característicos en este campo estando, además, lleno de consecuencias filosóficas. En este ensayo se ofrece una guía de referencia útil a aquellos (...) que desean prestar alguna atención a estos asuntos y carecen de la base técnica o histórica que se precisa. En primer lugar se ofrece un resurnen de los principales problemas relacionados con la Tesis de Turing-Church para ofrecer a continuación información sobre sus aspectos más controvertidos. Se proponen algunos problemas no resueltos y se analiza su relevancia filosófica.Computer Science is a field specially rich for philosophical inquiry. Mechanism and the discussion around foundations of mathematics are topics directly asociated to Computer Science for its very constitution as an independent discipline. Church-Turing Thesis is one of the most characteristic results in this field and is plenty of philosophical consequences. In this article I offer a referenee guide useful for those who are willing to pay some attention to these matters and ignore the technical and historical basis needed for this task. I resume the main topics related to Church-Turing Thesis and give some informationabout the most controversial aspects of this subject. Some open questions are settled for further investigation paying special attention to their philosophical importance. (shrink)

Este trabajo constituye una revisión de los contenidos, orientación y objetivos de una parte significativa de los manuales de lógica elemental de las décadas de 1960 y 1970 redactados por autores españoles. En concreto, analizamos los prólogos, los rudimentos prerios, y la presentación de los distintos cálculos gue aparecen en tales obras. EI estudio de la semántica, los contenidos metatcóricos o las extensiones de Ia lógica elemental quedan para una segunda etapa de esta investigacion.This work is a critical examination of (...) contents, orientation, and goals of a significative portion of elementary spanish logic textbooks in the 60’s and 70’s. It is centered on an analysis ofprefaces, preliminaries and the different kinds of calculi appearing in these books. Topics, like semantics, metatheory or extensiones of elementary logic, are left for futrher analysis. (shrink)